Declarative theorem proving for operational semantics

iAbstract The aim of this Masters Thesis is to propose to SYSteam Nät AB, a local Internet Service Provider (ISP) in Uppsala, Sweden, how to implement IP telephony in their existing IT-infrastructure as a service to their customers. Thus the perspective of the thesis will be that of a local Internet Service Provider. Three general areas are covered in the thesis: Market and Business Model, Technology, and Economics. Important issues for SYSteam Nät AB as an established local broadband Internet Service Provider are to both retain present customers and to attract new customers. Some believe that offering value added services such as IP telephony could do this. Implementation of IP telephony can be done in different ways to fulfil SYSteam Nät’s requirements. The analysis leads to a proposal of how SYSteam Nät could implement IP telephony. This involves many multi-faceted business, technical, and financial issues; each aspect is examined in this thesis. ii Sammanfattnin

Reporting of euthanasia and physician-assisted suicide in the Netherlands: descriptive study

Background: An important principle underlying the Dutch Euthanasia Act is physicians' responsibility to alleviate patients' suffering. The Dutch Act states that euthanasia and physician-assisted suicide are not punishable if the attending physician acts in accordance with criteria of due care. These criteria concern the patient's request, the patient's suffering (unbearable and hopeless), the information provided to the patient, the presence of reasonable alternatives, consultation of another physician and the applied method of ending life. To demonstrate their compliance, the Act requires physicians to report euthanasia to a review committee. We studied which arguments Dutch physicians use to substantiate their adherence to the criteria and which aspects attract review committees' attention. Methods: We examined 158 files of reported euthanasia and physician-assisted suicide cases that were approved by the review committees. We studied the physicians' reports and the verdicts of the review committees by using a checklist. Results: Physicians reported that the patient's request had been well-considered because the patient was clear-headed (65%) and/or had repeated the request several times (23%). Unbearable suffering was often substantiated with physical symptoms (62%), function loss (33%), dependency (28%) or deterioration (15%). In 35%, physicians reported that there had been alternatives to relieve patients' suffering which were refused by the majority. The nature of the relationship with the consultant was sometimes unclear: the consultant was reported to have been an unknown colleague (39%), a known colleague (21%), otherwise (25%), or not clearly specified in the report (24%). Review committees relatively often scrutinized the consultation (41%) and the patient's (unbearable) suffering (32%); they had few questions about possible alternatives (1%). Conclusion: Dutch physicians substantiate their adherence to the criteria in a variable way with an emphasis on physical symptoms. The information they provide is in most cases sufficient to enable adequate review. Review committees' control seems to focus on (unbearable) suffering and on procedural issues